Eecient Simulation of Thor Nets ?

The aim of our project is to develop and implement an ef-cient modeling technique and methods for a fast sequential and distributed simulation of real-time systems, such as assembly lines, industrial control systems, or communication protocols. Our simulation language developed to build models of these systems is a class of high-level Petri nets which allows complex objects for token values and provides diie-rent kinds of timing aspects as well as an appropriate structuring mechanism for nets. We call this kind of high-level Petri nets Thorns (Timed Hierarchical Object-Related Nets). A problem in simulating any kind of models is the considerable amount of time necessary for the execution of large or complex systems models. In our project we face this problem by developing and implementing special methods for an eecient distributed simulator. The main idea is to derive these methods from the optimistic approach in the theory of distributed simulation of discrete event systems. To compare the performance of the distributed simulator we implement a fast sequential simulator for Thorns. This report describes the class of Thorns and gives an example of mode-ling with Thorns. A main topic of this report is the eecient implementation of Thorns by a sequential as well as by a distributed simulator.